Static use-based object confinement
نویسندگان
چکیده
منابع مشابه
A Static Analysis for Instance-based Confinement in Java
A semantic definition is given for instance-based pointer confinement (alias control); this provides a form of encapsulation suited to many object-oriented designs. A syntax-directed static analysis is defined and proved, using a compositional semantics, to imply semantic confinement. Previous work by the authors, reviewed here, shows that this notion of confinement ensures a strong information...
متن کاملComparing pixel-based and object-based algorithms for classifying land use of arid basins (Case study: Mokhtaran Basin, Iran)
In this research, two techniques of pixel-based and object-based image analysis were investigated and compared for providing land use map in arid basin of Mokhtaran, Birjand. Using Landsat satellite imagery in 2015, the classification of land use was performed with three object-based algorithms of supervised fuzzy-maximum likelihood, maximum likelihood, and K-nearest neighbor. Nine combinations...
متن کاملStatic Object Race Detection
We present a novel static object race detection analysis. Our analysis is data-centric in the sense that dominance and ownership, as well as object-based reasoning about control, play a crucial role. Our empirical results show that the analysis scales well and has relatively low false-positive rate. In some cases, our analysis outperforms the leading static race detector Chord.
متن کاملObject Confinement in Object Teams — Reconciling Encapsulation and Flexible Integration
Aspect-oriented software development (AOSD) may introduce invisible links and control flows in an application, which are perceived as an obstacle to understandability, predictability and safety. The resulting trade-off between flexibly structuring crosscutting concerns and rigorously pursuing program safety impedes the usefulness of AOSD for many fields of application. The model of Object Teams...
متن کاملStatic Modeling of Linear Object Deformation Based on Differential Geometry
We describe the modeling of linear object deformation based on differential geometry and its applications to manipulative operations. A particle-based approach, the finite element method, and the Cosserat theory have been applied to the modeling of linear object deformation. In this paper, we establish an alternative modeling approach based on an extension of differential geometry. First, we ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Information Security
سال: 2005
ISSN: 1615-5262,1615-5270
DOI: 10.1007/s10207-004-0049-5